Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Types, Tableaus, and Gödel’s God (Trends in Logic)

 Автор:
Размер книги: 11.17 Mb

Intuitionistic logic, model theory and forcing

 Автор:
Категория: Mathematical logic
Размер книги: 927 Kb

Set theory and the continuum problem

 Автор: , Автор:
Размер книги: 3.08 Mb

Set theory and the continuum problem

 Автор: , Автор:
Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic
Размер книги: 2.42 Mb

Intuitionistic logic, model theory and forcing

 Автор:
Размер книги: 1.80 Mb

Intuitionistic logic model theory and forcing

 Автор:
Размер книги: 3.76 Mb

First-order Logic and Automated Theorem Proving

 Автор:
Категория: Cs_Computer science, CsAi_AI, knowledge
Размер книги: 1.80 Mb

Fundamentals of generalized recursion theory

 Автор:
Категория: Mathematical logic
Размер книги: 1.71 Mb

Fundamentals of generalized recursion theory

 Автор:
Размер книги: 954 Kb